pruned down - German English Dictionary